CSE 2231 Glossary

Concrete Transition

For a variable's state before a method call, describes where it might end up according to the code in the method's body. Describes how the method body changes variables in the Concrete State Space from before the call, to their value after the method has terminated.